As systems based on opaque Artificial Intelligence (AI) continue to flourish in diverse real-world applications, understanding these black box models has become paramount. In response, Explainable AI (XAI) has emerged as a field of research with practical and ethical benefits across various domains. This paper not only highlights the advancements in XAI and its application in real-world scenarios but also addresses the ongoing challenges within XAI, emphasizing the need for broader perspectives and collaborative efforts. We bring together experts from diverse (...) fields to identify open problems, striving to synchronize research agendas and accelerate XAI in practical applications. By fostering collaborative discussion and interdisciplinary cooperation, we aim to propel XAI forward, contributing to its continued success. Our goal is to put forward a comprehensive proposal for advancing XAI. To achieve this goal, we present a manifesto of 27 open problems categorized into nine categories. These challenges encapsulate the complexities and nuances of XAI and offer a road map for future research. For each problem, we provide promising research directions in the hope of harnessing the collective intelligence of interested stakeholders. (shrink)

We introduce and discuss a knowledge-driven distillation approach to explaining black-box models by means of two kinds of interpretable models. The first is perceptron (or threshold) connectives, which enrich knowledge representation languages such as Description Logics with linear operators that serve as a bridge between statistical learning and logical reasoning. The second is Trepan Reloaded, an ap- proach that builds post-hoc explanations of black-box classifiers in the form of decision trees enhanced by domain knowledge. Our aim is, firstly, to target (...) a model-agnostic distillation approach exemplified with these two frameworks, secondly, to study how these two frameworks interact on a theoretical level, and, thirdly, to investigate use-cases in ML and AI in a comparative manner. Specifically, we envision that user-studies will help determine human understandability of explanations generated using these two frameworks. (shrink)

Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its main advantage is that it repairs on- tologies by making axioms less restrictive rather than by deleting them, employing the use of refinement operators. In this paper, we build on pre- viously introduced axiom weakening for ALC, and make it much more irresistible by extending its definitions to deal with SROIQ, the expressive and decidable description logic underlying OWL 2 DL. We extend the definitions of (...) refinement operator to deal with SROIQ constructs, in particular with role hierarchies, cardinality constraints and nominals, and illustrate its application. Finally, we discuss the problem of termi- nation of an iterated weakening procedure. (shrink)

The analytical notion of ‘scientific style of reasoning’, introduced by Ian Hacking in the middle of the 1980s, has become widespread in the literature of the history and philosophy of science. However, scholars have rarely made explicit the philosophical assumptions and the research objectives underlying the notion of style: what are its philosophical roots? How does the notion of style fit into the area of research of historical epistemology? What does a comparison between Hacking’s project on styles of thinking and (...) other similar projects suggest? My aim in this paper is to answer these questions. Hacking has denied that his project of styles of thinking falls into the field of historical epistemology. I shall challenge his remark by tracing out the connections of the notion of style with historical epistemology and, more in general, with a tradition of thought born in France in the beginning of twentieth-century. (shrink)

In this paper, three theories of progress and the aim of science are discussed: the theory of progress as increasing explanatory power, advocated by Popper in The logic of scientific discovery ; the theory of progress as approximation to the truth, introduced by Popper in Conjectures and refutations ; the theory of progress as a steady increase of competing alternatives, which Feyerabend put forward in the essay “Reply to criticism. Comments on Smart, Sellars and Putnam” and defended as late as (...) the last edition of Against method. It is argued that, contrary to what Feyerabend scholars have predominantly assumed, Feyerabend's changing attitude towards falsificationism—which he often advocated at the beginning of his career, and vociferously attacked in the 1970s and 1980s—must be explained by taking into account not only Feyerabend's very peculiar view of the aim of science, but also Popper's changing account of progress. (shrink)

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed provides the (...) basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

ABSTRACTLinguistic evidence supports the claim that certain, weak rejections are less specific than assertions. On the basis of this evidence, it has been argued that rejected sentences cannot be premisses and conclusions in inferences. We give examples of inferences with weakly rejected sentences as premisses and conclusions. We then propose a logic of weak rejection which accounts for the relevant phenomena and is motivated by principles of coherence in dialogue. We give a semantics for which this logic is sound and (...) complete, show that it axiomatizes the modal logic KD45 and prove that it still derives classical logic on its asserted fragment. Finally, we defend previous logics of strong rejection as being about the linguistically preferred interpretations of weak rejections. (shrink)

We discuss a well-known puzzle about the lexicalization of logical operators in natural language, in particular connectives and quantifiers. Of the many logically possible operators, only few appear in the lexicon of natural languages: the connectives in English, for example, are conjunction _and_, disjunction _or_, and negated disjunction _nor_; the lexical quantifiers are _all, some_ and _no_. The logically possible nand (negated conjunction) and Nall (negated universal) are not expressed by lexical entries in English, nor in any natural language. Moreover, (...) the lexicalized operators are all upward or downward monotone, an observation known as the Monotonicity Universal. We propose a logical explanation of lexical gaps and of the Monotonicity Universal, based on the dynamic behaviour of connectives and quantifiers. We define update potentials for logical operators as procedures to modify the context, under the assumption that an update by \( \phi \) depends on the logical form of \( \phi \) and on the speech act performed: assertion or rejection. We conjecture that the adequacy of update potentials determines the limits of lexicalizability for logical operators in natural language. Finally, we show that on this framework the Monotonicity Universal follows from the logical properties of the updates that correspond to each operator. (shrink)

We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of weak assertion, a speech act whose existence we argue for on the basis of linguistic evidence. We show that our account of might provides a solution to certain well-known puzzles about the semantics of modal vocabulary whilst retaining classical logic. (...) This demonstrates that an inferentialist approach to meaning can be successfully extended beyond the core logical constants. (shrink)

The question as to whether Ian Hacking’s project of scientific styles of thinking entails epistemic relativism has received considerable attention. However, scholars have never discussed it vis-à-vis Wittgenstein. This is unfortunate: not only is Wittgenstein the philosopher who, together with Foucault, has influenced Hacking the most, but he has also faced the same accusation of ‘relativism’. I shall explore the conceptual similarities and differences between Hacking’s notion of style of thinking and Wittgenstein’s conception of form of life. It is a (...) fact that whether or not the latter entails epistemic relativism is still a controversial question. From my comparative analysis, it will emerge that there are stronger reasons to conclude that Hacking’s notion of style leads to epistemic relativism than there are to reach the same conclusion in the case of Wittgenstein’s conception of form of life. This point will be at odds with the anti-relativistic stance that Hacking has taken in his more recent writings. (shrink)

Translation of Aristotle's Physics I-II into Portuguese, with commentaries. Tradução para o português dos livros I e II da Física de Aristóteles, com comentários.

Norm theory (Kahneman & Miller, 1986) described a tendency for people to associate stronger regret with a negative outcome when it is a result of an exception (abnormal behavior) compared to when it is a result of routine (normal behavior). In two pre-registered studies, we conducted a replication and extension of three classic experiments on past behavior exception/routine contrasts (N = 684). We successfully replicated Kahneman and Miller’s (1986) experiments with the classic hitchhiker-scenario (Part 1) and car accident-scenario (Part 2). (...) In both cases, participants examined negative outcomes and tended to indicate a protagonist who deviated from own past behavior as more regretful than another who followed routine. Pre-registered extensions also showed effects for ratings of social norms, negative affect, and perceived luck. We did not find support for the Miller and McFarland (1986) experiment robbery scenario (Part 3) using a compensation measure, in that compensation to a victim of a robbery was not significantly different comparing exceptional and routine circumstances. However, a pre-registered extension showed that robbery under exceptional circumstances was regretted more than robbery under routine circumstances. We discuss implications for current and future research. (shrink)

Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...) the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the Liar Paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the Liar Paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (shrink)

The analytical notions of ‘thought style’, ‘paradigm’, ‘episteme’ and ‘style of reasoning’ are some of the most popular frameworks in the history and philosophy of science. Although their proponents, Ludwik Fleck, Thomas Kuhn, Michel Foucault, and Ian Hacking, are all part of the same philosophical tradition that closely connects history and philosophy, the extent to which they share similar assumptions and objectives is still under debate. In the first part of the paper, I shall argue that, despite the fact that (...) these four thinkers disagree on certain assumptions, their frameworks have the same explanatory goal – to understand how objectivity is possible. I shall present this goal as a necessary element of a common project -- that of historicising Kant's a priori. In the second part of the paper, I shall make an instrumental use of the insights of these four thinkers to form a new model for studying objectivity. I shall also propose a layered diagram that allows the differences between the frameworks to be mapped, while acknowledging their similarities. This diagram will show that the frameworks of style of reasoning and episteme illuminate conditions of possibility that lie at a deeper level than those considered by thought styles and paradigm. (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. Based (...) on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

On the surface Kant himself seems quite clear about who is deserving of respect: The morally relevant others are all “rational, free beings” or all “human beings.” It is clear, however, that Kant does not want to identify “human beings” in this sense with members of a particular biological species, for he is explicitly open to the idea that there might be non-biologically human rational beings. Thus, for example he is explicitly open to the possibility of extraterrestrial rational beings, who (...) would not be members of the same biological species as us, but who would, presumably be worthy of respect. And it would seem possible that there are members of our biological species who are not “human” in the morally relevant sense. Given these facts, a Kantian needs to give some account of how we are to recognize who or what counts as “human” in the morally relevant sense. I argue that to be “human” in the morally relevant sense is to have the capacity for morality, and that this involves: (a) the capacity to recognize others as ends rather than merely as means and (b) the capacity to enter into relations of ethical community with us. I defend a position I name moral reliabilism. According to this position: (a) We have a quasi-perceptual capacity to directly ascribe moral status to various bits of the world around us. I will argue that this capacity is best thought of in Gibsonian terms as a capacity to pick up on certain types of social affordances; morally relevant others have the capacity to engage in ethical interaction with us, and recognizing the humanity of others involves picking up on this capacity. Those beings who are “human” in the morally relevant sense, then, afford interaction based on mutual respect. (b) We should assume as a postulate of practical reason that this capacity is reliable (although fallible). (shrink)

Event concepts are unstructured atomic concepts that apply to event types. A paradigm example of such an event type would be that of diaper changing, and so a putative example of an atomic event concept would be DADDY'S-CHANGING-MY-DIAPER.1 I will defend two claims about such concepts. First, the conceptual claim that it is in principle possible to possess a concept such as DADDY'S-CHANGING-MY-DIAPER without possessing the concept DIAPER. Second, the empirical claim that we actually possess such concepts and that they (...) play an important role in our cognitive lives. The argument for the empirical claim has the form of an inference to the best explanation and is aimed at those who are already willing to attribute concepts and beliefs to infants and nonhuman animals. Many animals and prelinguistic infants seem capable of re-identifying event-types in the world, and they seem to store information about things happening at particular times and places. My account offers a plausible model of how such organisms are able to do this without attributing linguistically structured mental states to them. And although language allows adults to form linguistically structured mental representations of the world, there is no good reason to think that such structured representations necessarily replace the unstructured ones. There is also no good reason for a philosopher who is willing to explain the behavior of an organism by appealing to atomic concepts of individuals or kinds to not use a similar form of explanation when explaining the organism's capacity to recognize events. -/- We can form empirical concepts of individuals, kinds, properties, event-types, and states of affairs, among other things, and I assume that such concepts function like what François Recanati calls ‘mental files’ or what Ruth Millikan calls ‘substance concepts’ (Recanati 2012; Millikan 1999, 2000, 2017). To possess such a concept one must have a reliable capacity to re-identify the object in question, but this capacity of re-identification does not fix the reference of the concept. Such concepts allow us to collect and utilize useful information about things that we re-encounter in our environment. We can distinguish between a perception-action system and a perception-belief system, and I will argue that empirical concepts, including atomic event concepts, can play a role in both systems. The perception-action system involves the application of concepts in the service of (often skilled) action. We can think of the concept as a mental file containing motor-plans that can be activated once the individual recognizes that they are in a certain situation. In this way, recognizing something (whether an object or an event) as a token of a type, plays a role in guiding immediate action. The perception-belief system, in contrast, allows for the formation of beliefs that can play a role in deliberation and planning and in the formation of expectations. I distinguish between two particular types of belief which I call where-beliefs and when-beliefs, and I argue that we can model the formation of such perceptual beliefs in nonlinguistic animals and human infants in terms of the formation of a link between an empirical concept and a position on a cognitive map. According to the account offered, seemingly complex beliefs, such as a baby's belief that Daddy changed her diaper in the kitchen earlier, will not be linguistically structured. If we think that prelinguistic infants possess such concepts and are able to form such beliefs, it is likely that adults do too. The ability to form such beliefs does not require the capacity for public language, and we can model them in nonlinguistic terms; thus, we have no good reason to think of such beliefs as propositional attitudes. Of course, we can use sentences to refer to such beliefs, and thus it is possible to think of such beliefs as somehow relations to propositions. But it is not clear to me what is gained by this as we have a perfectly good way to think about the structure of such beliefs that does not involve any appeal to language. (shrink)

The central idea behind this paper is the claim that Kant's moral idea of a realm of ends is modeled on the category of community examined in his theoretical works, and that understanding Kant's account of the category of community helps us understand certain features of the idea of a realm of ends, and in particular the fact that a member of a realm of ends must be an autonomous agent. For Kant the idea of a community is essentially the (...) idea of a multitude of individuals in interaction and in this paper I will attempt to show why Kant believes that only autonomous individuals can interact. (shrink)

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. Thus, supervaluationists (...) can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

Constitutivism argues that the source of the categorical force of the norms of rationality and morality lies in the constitutive features of agency. A systematic failure to be guided by these norms would amount to a loss or lack of agency. Since we cannot but be agents, we cannot but be unconditionally guided by these norms. The constitutivist strategy has been challenged by David Enoch. He argues that our participation in agency is optional and thus cannot be a source of (...) categorical demands. In this paper, I defend the viability of constitutivism by showing that agency is indeed a special ‘inescapable’ enterprise. Agency has the largest jurisdiction, and it is closed under rational assessment. This inescapability does not exempt constitutivism from raising the question whether agents have reason to be agents, but this question has to be taken up within agency. If this question is answered affirmatively, then—I argue—the criteria of practical correctness are self-ratifying in a non-circular way. This is sufficient to show the viability of the constitutivist strategy. Whether agents have conclusive reasons to be agents, however, is a matter to be addressed in the terms of particular versions of constitutivism. (shrink)

I show that Mizrahi’s argument against Phenomenal Conservatism is fallacious.

This is an introductory handbook for some of the main themes around the notion of predication in Aristotle. It does not aim at being exhaustive, but only sketches some important lines about the subject; it contains an introductory essay, besides the translation (into Portuguese) and commentary of basic texts (such as Posterior Analytics I-22, Categories 1-5, Interpretation 1-6 etc.).

I discuss the role of translatability in philosophical justification. I begin by discussing and defending Thomas Reid’s account of the role that facts about comparative linguistics can play in philosophical justification. Reid believes that common sense offers a reliable but defeasible form of justification. We cannot know by introspection, however, which of our judgments belong to common sense. Judgments of common sense are universal, and so he argues that the strongest evidence that a judgment is a part of common sense (...) is that it is to be found in all languages. For Reid, then, evidence that a certain distinction is to be found in all languages is evidence that the distinction is part of common sense rather than being a common local prejudice. From such a perspective, empirical work in comparative linguistics can play a defeasible justificatory role in philosophical arguments. I contrast Reid’s position with the more radical position of defenders of the Natural Semantic Metalanguage approach, such as Anna Wierzbicka, who argues that only judgments that are translatable into all natural languages are justifiable. I show how such a position is rooted in an implausible view, although one common among cognitive scientists and linguistics, about the nature of concepts, which does not allow for novel concepts. (shrink)

In this paper I focus on the work of Sayyid Qutb and in particular his book Milestones, which is often regarded as the Communist Manifesto of Islamic fundamentalism. This paper has four main sections. First I outline Qutb’s political position and in particular examine his advocacy of offensive jihad. In section two I argue that there are a number of tendencies that make his position potentially more liberal that it is often taken to be. I here argue that there are (...) at least six reasons why Qutb’s position is not intrinsically as anti-liberal as it might at first appear. First, many western liberals, influenced by the social contract tradition, regard the legitimacy of their societies as based on popular sovereignty. Qutb, however, regards a society based on popular sovereignty, where law emerges from the will of man rather than the will of God, as a form of tyranny, so it would seem that he is in principle opposed to Western liberal societies. It is not clear, however, that we, or Islamic fundamentalist, need to regard Western liberal societies as based on popular sovereignty, for it is always possible to interpret Western political institutions through the lens of natural law theory, which was one of the main sources of the liberal tradition. In this section I will compare Qutb’s political philosophy with that of Aquinas to illustrate this point and suggest the possibility of secularists and puritan Islamists being able to form an overlapping consensus on the legitimacy of liberal Western societies. Secondly, there is an analogue to the social contract in Qutb’s own position as he believes that legitimate authority requires the free submission of the governed. Thirdly, Qutb is in principle a fallibilist about human reason; this fallibilism extends even to our capacity to interpret divine revelation. Fourthly, Islamic universalism requires that Muslims regard enemies they might be fighting as potential converts. Fifthly, Qutb, like most Sunni fundamentalists, is an implacable enemy of theocracy. And finally, Qutb is a gradualist. In the third section I argue that the real danger for liberal societies from believers in a position like Qutb’s is sociological rather than intrinsic to the ideology – specifically, that there is a danger that such groups may develop in a ‘Leninist’ direction. In the final section I argue that one of the main reasons for this danger is the lack of a consensus in the Islamic world about what it is to be a good, or even a true, Muslim, and that the slow emergence of some sort of consensus will require a vigorous public debate amongst Muslims. Western liberals should welcome such debate rather than fearing such, and should do all they can to ensure that civil society, both in Western societies and in predominantly Islamic societies, is open to such debate. (shrink)

My object is Aristotle's discussion of principle of non-contradiction in the first stretch of Metaphysics IV.4. My main focus rests on the connections between Aristotle's discussion of the principle and some key notions of his (explicit or implied) semantics.

In this paper I examine the genesis of Kant’s conception of a realm of ends, arguing that Kant first started to think of morality in terms of striving to be a member of a realm of ends, understood as an ideal community, in the early 1760s, and that he was influenced in this by his encounter with the Swedish mystic Emanuel Swedenborg. In 1766 Kant published Dreams of a Spirit Seer, a commentary on Swedenborg’s magnum opus, Heavenly Secrets. Most commentators (...) take Kant’s attitude towards Swedenborg to have been entirely negative, and argue that, at the most, Kant’s encounter with him had a purely negative impact on Kant’s development, inducing him to reject certain of his early metaphysical positions. I argue, in contrast, that Swedenborg had a positive influence on Kant’s development, particularly on his ethics, for Kant’s conception of a realm of ends is modeled on Swedenborg’s conception of heaven as a community of spirits governed by moral laws. (shrink)

Within the debate on the inevitability versus contingency of science for which Hacking’s writings have provided the basic terminology, the devising of counterfactual histories of science is widely assumed by champions of the contingency thesis to be an effective way to challenge the inevitability thesis. However, relatively little attention has been devoted to the problem of how to defend counterfactual history of science against the criticism that it is too speculative an endeavor to be worth bothering with—the same critique traditionally (...) levelled against the use of counterfactuals in general history. In this paper, we review the defense of counterfactuals put forward by their advocates within general history. According to such defense—which emphasizes the essential role of counterfactuals within explanations—good counterfactual scenarios need to exhibit the right kind of plausibility, characterized as continuity between said scenarios and what historians know about the world. As our discussion shows, the same requirement needs to be satisfied by good counterfactual histories of science. However, as we mention in the concluding part of the paper, there is at least one concern raised by counterfactual history of science as used to support the contingency thesis for which the defense based on the plausibility of the counterfactual scenarios does not seem to offer easy solutions. (shrink)

This book discusses Aristotle’s notions of essence and substance as they are developed in Metaphysics ZH. I examine Aristotle's argument at length and defends an unorthodox interpretation according to which his motivation is to provide an answer against a conflation between criteria for existential priority (delivering substances as primary beings) and criteria for explanatory priority (delivering essences as primary principles).

Kant and Leibniz are interested in explaining how a number of individuals can come together and form a single unified composite substance. Leibniz does not have a convincing account of how this is possible. In his pre-critical writings and in his later metaphysics lectures, Kant is committed to the claim that the idea of a world is the idea of a real whole, and hence is the idea of a composite substance. This metaphysical idea is taken over into his ethical (...) writings and becomes the idea of a realm of ends. I explain why a realm of ends, should be thought of as both a unum per se and as a real whole. A realm of ends is a whole of individuals unified by laws they have given themselves, that is, it is a community of autonomous individuals. Only such a community can be thought of as a composite individual. Such a whole will be real rather than ideal because the source of the unity of the whole is intrinsic to the whole, for what gives unity to the realm are laws and the sources of the laws are the individual members of the whole. It will be a unum per se because both the laws and the individuals constituting the realm are incomplete without one another. If this reading is correct, this requires a fundamental reevaluation of Kant’s notion of autonomy. To be autonomous is not, primarily, to be understood in terms of ruling oneself, but instead must be thought of primarily in terms of being a generative source of laws for an ideal community. (shrink)

Translation of Aristotle's Posterior Analytics I into Portuguese, with a few notes, experimental glossary and introduction. The translation, which was made at 2003/4, was preliminary and its publication was intended to provide a didactic tool for courses as well as a provisional resource in research seminars. It needs some revision. I am currently working (slowly...) on the revision of the translation and a new revised one will surely appear at some point.

Differenti sono i modi di conoscere che sono emersi nel corso della storia umana. Ian Hacking ha proposto una nozione, quella di "stile di pensiero" ("style of reasoning"), che fornisce un modello per caratterizzarli ed esaminare la loro genesi e il loro sviluppo. L'articolo mette in luce alcune implicazioni di questa nozione concernenti l'evoluzione del nostro sapere.

Translation of Aristotle's Metaphysics IV and VI, with notes. The translation is preliminary and intended as a provisional teaching tool to be also used in seminars and discussions with peers in order to reach a more elaborated version.

Many readers of Kant’s ethical writings take him to be primarily concerned with offering guidelines for action. At the least, they write about Kant as if this were the purpose of his ethical writings. For example, Christine Korsgaard, in her influential article Kant’s Analysis of Obligation: The Argument of Groundwork I, writes that, ‘‘the argument of Groundwork I is an attempt to give what I call a ‘motivational analysis’ of the concept of a right action, in order to discover what (...) that concept applies to, that is, which actions are right.’’ Similar comments are not hard to find in the secondary literature. This, however, is a fundamentally misguided way of reading Kant, since he repeatedly asserts that we do not need to do moral philosophy in order to discover which actions are right. We already know how to behave morally and do not need philosophers to tell us this. ‘‘Common human reason,’’ Kant argues, ‘‘knows very well how to distinguish in every case that comes up what is good and what is evil, what is in conformity to duty or contrary to duty.’’ Because people with pre-philosophical understanding know how to act morally, the purpose of moral philosophy cannot be to provide us with a set of rules for correct behavior. If we take Kant’s claims about common human reason seriously, then his aim in the Groundwork of the Metaphysics of Morals cannot be to discover which actions are right. (shrink)

This paper develops a new theory of the morality of promissory obligations. T. M. Scanlon notoriously argued that promising consists in assuring the promisee that we will do something. I disagree. I argue that it is true that promising consists in assuring the promisee, but what the promisor gives to the promisee is not an assurance that they will do something, but that the normative situation is in a certain way.

Tradução preliminar em pré-print. A Tradução definitiva é a de 2009.

This paper examines Timothy Williamson's recent 'expertise defense' of armchair philosophy mounted by skeptical experimental philosophers. The skeptical experimental philosophers argue that the methodology of traditional 'armchair' philosophers rests up trusting their own intuitions about particular problem cases. Empirical studies suggest that these intuitions are not generally shared and that such intuitions are strongly influenced factors that are not truth conducive such as cultural background or whether or not the question is asked in a messy or tidy office. Williamson's response (...) is that the skeptical armchair philosophers trust the expertise of the social scientists, as they trust and use the methods of the social sciences to undermine trust in the judgment of armchair philosophers. Given this, the burden of proof is on the skeptical experimental philosopher to give us a reason to doubt the expertise of the armchair philosopher. I examine how our understanding of the history of philosophy is significant in this context. And suggest that prevalent false beliefs about the history of philosophy can lead to mistrust of the expertise of philosophers. (shrink)

In Posterior Analytics 71b9 12, we find Aristotle’s definition of scientific knowledge. The definiens is taken to have only two informative parts: scientific knowledge must be knowledge of the cause and its object must be necessary. However, there is also a contrast between the definiendum and a sophistic way of knowing, which is marked by the expression “kata sumbebekos”. Not much attention has been paid to this contrast. In this paper, I discuss Aristotle’s definition paying due attention to this contrast (...) and to the way it interacts with the two conditions presented in the definiens. I claim that the “necessity” condition ammounts to explanatory appropriateness of the cause. (shrink)

Experiences like pains, pleasures, and emotions have affective phenomenal character: they feel pleasant or unpleasant. Imperativism proposes to explain affective phenomenal character by appeal to imperative content, a kind of intentional content that directs rather than describes. We argue that imperativism is on the right track, but has been developed in the wrong way. There are two varieties of imperativism on the market: first-order and higher-order. We show that neither is successful, and offer in their place a new theory: reflexive (...) imperativism. Our proposal is that an experience P feels pleasant in virtue of being constituted by a Command with reflexive imperative content, while an experience U feels unpleasant in virtue of being constituted by a Command with reflexive imperative content : More of P!Less of U! If you need a slogan: experiences have affective phenomenal character in virtue of commanding us Get more of me! Get less of me! (shrink)

Public participation in scientific research has gained prominence in many scientific fields, but the theory of participatory research is still limited. In this paper, we suggest that the divergence of values and goals between academic researchers and public participants in research is key to analyzing the different forms this research takes. We examine two existing characterizations of participatory research: one in terms of public participants' role in the research, the other in terms of the virtues of the research. In our (...) view, each of these captures an important feature of participatory research but is, on its own, limited in what features it takes into account. We introduce an expanded conception of norms of collaboration that extends to both academic researchers and public participants. We suggest that satisfying these norms requires consideration of the two groups' possibly divergent values and goals, and that a broad characterization of participatory research that starts from participants' values and goals can motivate both public participants’ role in the research and the virtues of the research. The resulting framework clarifies the similarities and differences among participatory projects and can help guide the responsible design of such projects. (shrink)

The combination of panpsychism and priority monism leads to priority cosmopsychism, the view that the consciousness of individual sentient creatures is derivative of an underlying cosmic consciousness. It has been suggested that contemporary priority cosmopsychism parallels central ideas in the Advaita Vedānta tradition. The paper offers a critical evaluation of this claim. It argues that the Advaitic account of consciousness cannot be characterized as an instance of priority cosmopsychism, points out the differences between the two views, and suggests an alternative (...) positioning of the Advaitic canon within the contemporary debate on monism and panpsychism. (shrink)

Translation of Aristotle's Posterior Analytics II into Portuguese, with a few notes, experimental glossary and introduction. The translation, which was made at 2002 (with a new printing in 2004), was preliminary and its publication was intended to provide a didactic tool for courses as well as a provisional resource in research seminars. It needs some revision. I am currently working (slowly...) on the revision of the translation and a new revised one will surely appear at some point.

The ideal of the United Nations was first put forward by Immanuel Kant in his 1795 essay Perpetual Peace. Kant, in the tradition of Locke and Rousseau is a liberal who believes that relations between individuals can either be based upon law and consent or upon force and violence. One way that such the ideal of world peace could be achieved would be through the creation of a single world state, of which every human being was a citizen. Such an (...) ideal was advocated by a number of eighteenth century liberals. Kant, however, rejects this ideal and instead argues that the universal rule of law can be achieved through the establishment a federation of independent states. I examine the relevance of Kant’s arguments today, focusing on two questions: Firstly, as advocates of the rule of law, why advocate a federation of independent nations rather than a single world state. Secondly, is this ideal realizable? Is Kant right to think that republics are natural and are likely to live peacefully with one another? Kant’s arguments on this issue have been taken up again in recent decades by defenders of the theory of the “democratic peace”, the theory that democracies are more likely to live at peace with one another. (shrink)

In this paper, I discuss whether there are genuinely *diachronic* constraints of practical rationality, that is, pressures on combinations of practical attitudes over time, which are not reducible to mere synchronic rational pressures. Michael Bratman has recently argued that there is at least one such diachronic rational constraint that governs the stability of intentions over time. *Pace* Bratman, I argue that there are no genuinely diachronic constraints on intentions that meet the stringent desiderata set by him. But I show that (...) there are at least two synchronic rational constraints with distinctive and important, although only indirect, diachronic dimensions. Neither of them, however, supports the practical conservatism in the face of normative underdetermination that, according to Bratman, is part and parcel of the diachronic rationality of intention stability. (shrink)

Translation of Aristotle's Metaphysics I-III into Portuguese, with a few notes and introduction. The translation, which was made at 2007, is preliminary and its publication was intended to provide a didactic tool for courses as well as a provisional resource in research seminars. It needs some revision. I am currently working (slowly...) on the revision of the translation and a new revised one will surely appear at some point.

The aim of this paper is to focus on Arne Nass’s phenomenological method and some of its anthropological and cosmological implications. Nass’s Ecology, Community and Lifestyle, in fact, can be fruitfully read as an example of phenomenological inquiry, in which the notion of “spontaneous experience” plays a fundamental role. This method leads Nass to develop a “relational ontology,” in which the “ecological self” is seen as a “relational junction within the total field.” In addition, I show how Tymieniecka’s philosophical thought (...) can offer us the proper eco-phenomenological perspective to better understand Nass’s Ecosophy T. (shrink)

In this paper, I argue against the popular philosophical thesis---aka the ‘own action condition’---that an agent can only intend one’s own actions. I argue that the own action condition does not hold for any executive attitude, intentions included. The proper object of intentions is propositional rather than agential (‘I intend that so-and-so be the case’ rather than ‘I intend to do such-and-such’). I show that, although there are some essential de se components in intending, they do not restrict the content (...) of intentions to one’s own actions. I then discuss the special way in which one’s own actions can figure in the content of one’s intentions, which shows that the distinction between intending and acting is less stark than it appears at first. This is a conclusion that many defenders of the own action condition might find appealing but which, I argue, is better supported by rejecting the own action condition. (shrink)

In this paper, I will discuss the various ways in which intentions can be said to be conditional, with particular attention to the internal conditions on the intentions’ content. I will first consider what it takes to carry out a conditional intention. I will then discuss how the distinctive norms of intention apply to conditional intentions and whether conditional intentions are a weaker sort of commitments than the unconditional ones. This discussion will lead to the idea of what I call (...) the ‘deep structure’ of intentions. Roughly, this is the idea that the conditional nature of our intentions is only partially made explicit in the expressions we use to communicate our intentions and in the explicit form of our thinking about and reasoning with them. Most conditions that qualify our intentions are part of a deep functional structure that can be evinced by observing the actual psychological functioning of intentions and by considering the rational requirements that they engage. I will argue that the deep structure of intentions is characteristically conditional. Genuinely unconditional intentions are only limiting instances of conditional intentions and their contribution to agency can only be understood in light of this fact. I will conclude by showing that the characteristic conditional structure of intentions is intimately related to distinctive features of human agency, especially to its unity over time. (shrink)